# predicate

71

**predicate noun**— /prɛdɪkət ˈnaʊn/ (say predikuht nown) noun (in English and some other languages) a noun following one of a certain group of verbs and designating the same entity as the subject (he is the king) or the direct object (they made him king) …72

**predicate calculus**— noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑functional calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… …73

**predicate objective**— Gram. See objective complement …74

**Monadic predicate calculus**— In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… …75

**Syntactic predicate**— A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… …76

**Kleene's T predicate**— In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T …77

**Functional predicate**— In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.Functional predicates are also sometimes called mappings ,… …78

**Continuous predicate**— is a term coined by Charles Sanders Peirce (1839–1914) to describe a special type of relational predicate that results as the limit of a recursive process of hypostatic abstraction. Here is one of Peirce s definitive discussions of the concept:… …79

**Hard-core predicate**— In cryptography, a hard core predicate of a one way function f is a predicate b (i.e., a function whose output is a single bit) which is easy to compute given x but is hard to compute given f(x) . In formal terms, there is no probabilistic… …80

**Thoughts of a Predicate Felon**— Thoughts of a Predicate Felon …